home *** CD-ROM | disk | FTP | other *** search
- package java.awt;
-
- import java.awt.image.AreaAveragingScaleFilter;
- import java.awt.image.FilteredImageSource;
- import java.awt.image.ImageFilter;
- import java.awt.image.ImageObserver;
- import java.awt.image.ImageProducer;
- import java.awt.image.ReplicateScaleFilter;
-
- public abstract class Image {
- public static final Object UndefinedProperty = new Object();
- public static final int SCALE_DEFAULT = 1;
- public static final int SCALE_FAST = 2;
- public static final int SCALE_SMOOTH = 4;
- public static final int SCALE_REPLICATE = 8;
- public static final int SCALE_AREA_AVERAGING = 16;
-
- public abstract void flush();
-
- public abstract Graphics getGraphics();
-
- public abstract int getHeight(ImageObserver var1);
-
- public abstract Object getProperty(String var1, ImageObserver var2);
-
- public Image getScaledInstance(int width, int height, int hints) {
- Object filter;
- if ((hints & 20) != 0) {
- filter = new AreaAveragingScaleFilter(width, height);
- } else {
- filter = new ReplicateScaleFilter(width, height);
- }
-
- ImageProducer prod = new FilteredImageSource(this.getSource(), (ImageFilter)filter);
- return Toolkit.getDefaultToolkit().createImage(prod);
- }
-
- public abstract ImageProducer getSource();
-
- public abstract int getWidth(ImageObserver var1);
- }
-